English deterministic turing machine: tłumaczenie na inne języki